Generating Test Templates via Automated Theorem Proving
by Mani Prasard Kancherla,National Aeronautics and Space Administr
ISBN 13: 9781288910892
Format: Paperback (96 pages) Publisher: BiblioScholar Published: 12 Mar 2013
Save for later